Gammall Og: a Coordination Language Based on Gamma and Gg Odel

This paper describes Gammall og, a logic language based on multiset rewriting. The language combines the ability of describing parallel programs made of multiset transformation rules as in GAMMA with the execution model of logic programming in a strongly typed framework as in GG odel. We describe the design choices, the syntax and the semantics. Gammall og provides a standard model theoretic semantics expressed in terms of multiset rewritings; soundness and completeness results are proved with respect to the extended SLD resolution. Finally, we present the prototype implementation of the language based on GG odel which has been extended to support rst class multisets.